dec2bool($d$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Case $d$ of inl($x$) $\Rightarrow$ true$_{2}$ ; inr($x$) $\Rightarrow$ false$_{2}$